Computation Engineering: Applied Automata Theory and Logic
by Ganesh Gopalakrishnan
ISBN 13: 9780387244181
Format: Hardcover (512 pages) Publisher: Springer Published: 07 Aug 2006 Other Format: Paperback
Save for later
ISBN 13: 9781441937414
Format: Paperback (512 pages) Publisher: Springer Published: 12 Feb 2010 Other Format: Hardcover
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
by
ISBN 13: 9783642221095
Format: Paperback (778 pages) Publisher: Springer Published: 05 Jul 2011
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings: 1522 (Lecture Notes in Computer Science)
by Phillip Windley,Ganesh Gopalakrishnan
ISBN 13: 9783540651918
Format: Paperback (548 pages) Publisher: Springer Published: 13 Jun 2008